Temporal theory - PDFSEARCH.IO - Document Search Engine

Temporal theory
Results: 595

#	Item
41	Efficient Reasoning With Consistent Proper Epistemic Knowledge Bases Christian Muise, Tim Miller, Paolo Felli, Adrian R. Pearce, Liz Sonenberg Department of Computing and Information Systems, University of Melbourne {ch Add to Reading List Source URL: www.haz.ca Language: English - Date: 2015-02-22 18:34:09 IP Symbol Mathematical logic Distribution Model theory Constructible universe Modal logic Craig interpolation Linear temporal logic
42	The Shifting Place. Aesthetic, Spatial and Temporal Fractures of Transitional Territories Giusy Checola The concept of “locality” that the project Understanding Territorialities addresses is that of a “territory we Add to Reading List Source URL: www.cittadellarte.it Language: English - Date: 2016-04-05 04:38:34 Landscape architecture Ontology Sustainability Permaculture Sustainable agriculture Systems ecology Localit Property Reality Placemaking Theory of Forms Principle of locality
43	EPJ manuscript No. (will be inserted by the editor) Empirical temporal networks of face-to-face human interactions Add to Reading List Source URL: www.cpt.univ-mrs.fr Language: English - Date: 2013-09-13 15:15:15 Network theory Network science Complex network Hub Peer-to-peer Small-world network Climate as complex networks Social network Albert-Lszl Barabsi Weighted network Degree distribution Wireless sensor network
44	Program Spatial-Temporal Symposium v042214.indd Add to Reading List Source URL: www.stat.ucdavis.edu Language: English - Date: 2014-07-29 13:41:16 Geostatistics Linear filters Bayesian statistics Estimation theory Operations research Gaussian process Ensemble Kalman filter Kriging Gravitational lens Statistics Uncertainty quantification Spatial dependence
45	The complexity of positive first-order logic without equality Florent Madelaine Univ Clermont1, EA2146, Laboratoire d’algorithmique et d’image de Clermont-Ferrand, Aubi`ere, F-63170, France. Barnaby Martin ´Equipe d Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2011-07-07 14:48:41 Functional analysis Lemmas Symbol FO IP Dual space Craig interpolation Model theory Linear temporal logic
46	Towards Diagrammability and Efficiency in Event Sequence Languages Kathi Fisler Department of Computer Science WPI (Worcester, MA, USA) Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2005-05-29 14:49:51 Finite automata Theoretical computer science Formal languages Infographics Linear temporal logic Temporal logic Finite-state machine Diagram Sequence Formal verification Automata theory Bchi automaton
47	Lecture 20 Spectral Graph Theory and its Applications Graph Decompositions November 18, 2004 Add to Reading List Source URL: www.cs.yale.edu Language: English - Date: 2005-06-30 12:02:49 Operator theory Contraction Linear temporal logic Positive-definite function on a group
48	Neuroanatomical correlates of biological motion detection Add to Reading List Source URL: sayginlab.ucsd.edu Language: English - Date: 2013-06-30 19:48:27 Cognition Cognitive neuroscience Mental processes Neuropsychological assessment Perception Biological motion Motion perception Theory of mind Visual system Inferior temporal gyrus Neural correlates of consciousness Outline of brain mapping
49	IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, VOL. , NO. , MONTH YEAR 1 Correct-By-Construction Adaptive Cruise Control: Two Approaches Add to Reading List Source URL: web.eecs.umich.edu Language: English - Date: 2016-06-16 12:52:13 Control theory Cybernetics Linear temporal logic Symbol
50	On Exponential Sums and Group Generators for Elliptic Curves over Finite Fields David R. Kohel1 and Igor E. Shparlinski2 1 School of Mathematics and Statistics Add to Reading List Source URL: iml.univ-mrs.fr Language: English - Date: 2011-02-12 16:32:49 Group theory Analytic number theory Elliptic curve Operator theory Differential forms on a Riemann surface Linear temporal logic

UPDATE